Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras
نویسندگان
چکیده
منابع مشابه
Boolean and Central Elements and Cantor-Bernstein Theorem in Bounded Pseudo-BCK-Algebras?
Georgescu and Iorgulescu [3] introduced pseudo-BCK-algebras (in a slightly different way) as a non-commutative generalization of BCK-algebras, in the sense that if →= , then the algebra (A,→, 1) is a BCK-algebra. Pseudo-BCK-algebras relate to (non-commutative) residuated lattices as BCK-algebras do to commutative residuated lattices; specifically, by [6], pseudoBCK-algebras are just the 〈→, , 1...
متن کاملCantor-Bernstein theorem for pseudo BCK-algebras
For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...
متن کاملPseudo-BL algebras and pseudo-effect algebras
Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect algebra, we investigate the mutual relationship between pseudo-BL algebras and pseudo-effect algebras. We prove that dual pseudo-BL algebra under ce...
متن کاملCentral Elements, Blocks and Sharp Elements of Lattice Effect Algebras
For every central element z of a lattice effect algebra E, the interval [0, z] with the ⊕ operation inherited from E and the new unity z is a lattice effect algebra in its own right. We show connections between blocks, sharp elements and central elements of [0, z] and those of E. We prove that except for central elements, the intervals [0, z] are closed with respect to the ⊕-operation also for ...
متن کاملState-morphism pseudo-effect algebras
The notion of a state-morphism on pseudoeffect algebras is introduced, and pseudo-effect algebras with distinguished state-morphisms are studied under the name state-morphism pseudo-effect algebras (SMPEAs). It is shown that every SMPEA admits a representation as a (total) state-morphism algebra, and some results from the general theory of state-morphism algebras (that is, algebras endowed with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 2003
ISSN: 1446-7887,1446-8107
DOI: 10.1017/s1446788700003177